Proper forcing extensions and Solovay models
نویسندگان
چکیده
We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every ∼ 1 3 strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under ∼ 1 3 strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R) under projective strongly-proper forcing notions is consistent relative to the existence of a ∼ω cardinal. We also show that the consistency strength of the absoluteness of L(R) under forcing extensions with σ-linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal.
منابع مشابه
Generic absoluteness under projective forcing∗
We study the preservation of the property of L(R) being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of L(R) under forcing with projective ccc partial orderings and, as an application, we build models in which Martin’s Axiom holds for Σ ∼ 1 n partial orderings, but it fails for the Σ ∼ 1 n+1.
متن کاملSuccessor Large Cardinals in Symmetric Extensions ∗
We give an exposition in modern language (and using partial orders) of Jech’s method for obtaining models where successor cardinals have large cardinal properties. In such models, the axiom of choice must necessarily fail. In particular, we show how, given any regular cardinal and a large cardinal of the requisite type above it, there is a symmetric extension of the universe in which the axiom ...
متن کاملConsistency Results concerning Supercompactness
A general framework for proving relative consistency results with regard to supercompactness is developed. Within this framework we prove the relative consistency of the assertion that every set is ordinal definable with the statement asserting the existence of a supercompact cardinal. We also generalize Easton's theorem; the new element in our result is that our forcing conditions preserve sup...
متن کاملGap forcing: Generalizing the Lévy-Solovay theorem
The Levy-Solovay Theorem [LevSol67] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong card...
متن کاملA very weak generalization of SPFA to higher cardinals
Itay Neeman found in [7] a new way of iterating proper forcing notions and extended it in [8] to א2. In [5] his construction for א1 ([7]) was generalized to semi-proper forcing notions. We apply here finite structures with pistes in order extend the construction to higher cardinals. In the final model a very weak form of SPFA will hold. 1 Basic definitions and main results The following two def...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 43 شماره
صفحات -
تاریخ انتشار 2004